<html><body>Just like most Unix shells, jEdit interprets a tilde ("~") at the
start of a path name as being the location of your home directory.</body></html>
